Is there any problem with just disabling font ligature? Don't like the idea of adding an option for something so subtle.

there was a single request in the issue tracker at #2106, the forum entry seems to be from the same user (nb: what is the exact issue? not-so-nice-looking? accessibility? unexpected?)

however, tbh, i would also not add such an option, at least not to the official settings and not in the usual "settings" dialog, not even as "experimental". that will come at cost, i do not think, this is worth maintaining currently.

i would also be careful with letting users change the font; that can easily led to issues wrt unicode etc. that looks as if it is a bug from our side. there are much "larger" apps not having something like that. if someone is uncomfortable with the system font and the ligatures used, we should point him to changing this in the system settings or options (of course, we should make sure to pick up the system font correctly).

i just checked signal and telegram desktop apps: i did not find such an option, but both seems to have ligatures disabled, at least if i type in fi that looks differently there. so, maybe, that is the more straight forward approach. however, compared to other things, i think, this is a really tiny detail :)

so we are for disabling it in general?

superseded by #2167

so we are for disabling it in general?

if there are really issues with ligatures, i think, this is the better approach, yes.